منابع مشابه
Going beyond BDI: Programming 'BDI+' Agents
The BDI model for intelligent agents has been very influential for both theoretical and practical research in agent technology. It gave rise to a form of agent-oriented programming which could be called ’BDI programming’, the programming of the mental attitudes of agents, where these attitudes pertain to notions in the vein of beliefs, desires and intentions. In this talk I will sketch how we c...
متن کاملBDI Logics
This paper presents an overview of so-called BDI logics. Starting out from the basic ideas about BDI by Bratman, we consider various formalizations in logic, such as the approach of Cohen and Levesque, slightly remodelled in dynamic logic, Rao & Georgeff’s influential BDI logic based on the branching-time temporal logic CTL*, the KARO framework and BDI logic based on stit (seeing to it that) lo...
متن کاملBDI : An Alternating-time BDI Logic for Multiagent Systems
Many logics for modelling beliefs, desires and intentions of agents, such as Rao and Georgeff’s BDI logic and Wooldridge’s LORA, are based on temporal logics like CTL/CTL∗ (Computational Tree Logic) in which the structure of time is branching in the future and linear in the past. Recently, many attempts have been made to define logics for BDI agents by using extensions of CTL. In this paper, we...
متن کاملThe SNePS BDI architecture
Business .ems =':'ynd Monegemen' Most AI systems are effective either for inference or for acting/planning but not for both. The SNePS BDI Tec'-nOIogy architecture uses propositional semantic network representations of beliefs, goals, acts, plans, and a representational 'f concept called transformers. Transformers help capture a unified approach to acting and inference. They can be ,Olio, used ...
متن کاملChapter 10 BDI Logics
This paper presents an overview of so-called BDI logics, logics where the notion of Beliefs, Desires and Intentions play a central role. Starting out from the basic ideas about BDI by Bratman, we consider various formalizations in logic, such as the approach of Cohen and Levesque, slightly remodelled in dynamic logic, Rao & Georgeff’s influential BDI logic based on the branching-time temporal l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Diabetologe
سال: 2021
ISSN: ['1860-9724', '1860-9716']
DOI: https://doi.org/10.1007/s11428-020-00710-y